 F
  where
   F = 1 fby F+G;
   G = 0 fby F;
  end
